SparQ - A Spatial Reasoning Toolbox
نویسنده
چکیده
SparQ is a toolbox for qualitative spatial reasoning. Interpreting reasoning in a broad sense, SparQ covers mapping information from quantitative to qualitative, applying constraint reasoning to qualitative information, reasoning about calculi, and mapping qualitative information back to the quantitative domain. The toolbox is designed for extensibility and released under the GNU GPL public license for free software.
منابع مشابه
SparQ: A Toolbox for Qualitative Spatial Representation and Reasoning
Amultitude of calculi for qualitative spatial reasoning (QSR) has been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however, comparatively small. One reason for this may be seen in the difficulty for people from outside the field to incorporate the required reasoning techniques into their software. Sometimes, proposed calculi are...
متن کاملQualitative Spatial Representation and Reasoning in the SparQ-Toolbox
A multitude of calculi for qualitative spatial reasoning (QSR) have been proposed during the last two decades. The number of practical applications that make use of QSR techniques is, however, comparatively small. One reason for this may be seen in the difficulty for people from outside the field to incorporate the required reasoning techniques into their software. Sometimes, proposed calculi a...
متن کاملQualitative Spatial Reasoning for Applications: New Challenges and the SparQ Toolbox
About two decades ago, the field of Qualitative Spatial and Temporal Reasoning (QSTR) emerged as a new area of AI research that set out to grasp human-level understanding and reasoning about spatial and temporal entities, linking formal approaches to cognitive theories. Empowering artificial agents with QSTR capabilities is claimed to facilitate manifold applications, including robot navigation...
متن کاملUsing SparQ for Matching Sketch Maps
Qualitative spatial relations have been argued to play an important role in the interpretation and analysis of sketch maps as typically only rough qualitative categories are preserved in these kinds of externalized spatial representations. In this paper, we look at processing sketch maps from a qualitative spatial reasoning (QSR) perspective. In particular in focus is the matching problem of fi...
متن کاملAnalyzing Qualitative Spatio-Temporal Calculi using Algebraic Geometry
Qualitative spatial reasoning is based on calculi which comprise relations and operation tables that encode operations like relation composition. Designing a calculus involves determining these tables and analyzing reasoning properties—a demanding task that is susceptible to errors if performed manually. This paper is concerned with automating computation of operation tables and analysis of qua...
متن کامل